The Role of Formal Methods in Software Development
نویسنده
چکیده
Formal methods for thirty years have promised to be the solution for the safety certification headaches of railway software designers. This chapter looks at the current industrial application of formal methods in the railway domain. After a recall of the dawning of formal methods in this domain, recent trends are presented that focus in particular on formal verification by means of model checking engines, with its potential and limitations. The paper ends with a perspective into the next future, in which formal methods will be expected to pervade in more respects the production of railway software and systems. DOI: 10.4018/978-1-4666-1643-1.ch012
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملModeling of behavioral factors affecting on development of women's sports in the Islamic Republic of Iran in promoting health
objective: Women, as half of the social body and the main axis of the family, play a very influential role in all aspects of society. Therefore, the aim of this study is to Model of behavioral factors affecting on development of womenchr('39')s sports in the Islamic Republic of Iran in promoting health. Methodology: In this descriptive-correlational study, which was a modeling (factor analysis...
متن کاملCliques Role in Organizational Reputational Influence: A Social Network Analysis
Empirical support for the assumption that cliques are major determinants of reputational influence derives largely from the frequent finding that organizations which claimed that their cliques’ connections are influential had an increased likelihood of becoming influential themselves. It is suggested that the strong and consistent connection in cliques is at least partially responsible for the ...
متن کاملInvestigating the formal effect of rear wall structure on acoustic parameters of speech halls (Research Article)
Referring to the rear wall in a hall is the furthest element rather than the voice source, therefor the reflections of this structural member play important role in music and speech intelligibly, especially for one-third behind audiences. Hence the form of these structures can be very effective in the acoustical quality of speech halls and auditoria. In this study, four formic structures are ex...
متن کاملتأثیر فعالیتهای آموزشی در بهبود مهارتهای مدیریتی گلخانهداران (مطالعه موردی: دهستان براآن جنوبی شهرستان اصفهان)
Development of training courses for producers could create a basis for management of sustainable development in greenhouse productions. The main purpose of this study was to investigate the effect of training courses on improving managerial skills of greenhouse owners. This study used a descriptive and correlation survey method in which the population of the study included greenhouse owners in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- JIT
دوره 2 شماره
صفحات -
تاریخ انتشار 1987